home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / b.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  426 b   |  16 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. main :- do(100).
  5. do(0):- write(complete), nl.
  6. do(N) :- virtual(X), build_struct(10,N,X), N1 is N - 1, do(N1).
  7.  
  8. build_struct(I,N,S) :- functor(S,blub,I), rewrite_args(I,N,S).
  9.  
  10. rewrite_args(I,N,S) :- rewrite_args(I,_,N,S).
  11. rewrite_args(0,_,_,_) :- !.
  12. rewrite_args(I,X,N,S) :- arg(I,S,X), I1 is I - 1, rewrite_args(I1,X,N,S).
  13.  
  14. virtual(_).
  15. virtual(X).
  16.